Value Constraint and Monotone circuit

نویسنده

  • Koji Kobayashi
چکیده

1. Overview This paper talks about that monotone circuit is P-Complete. Decision problem that include P-Complete is mapping that classify input with a similar property. Therefore equivalence relation of input value is important for computation. But monotone circuit cannot compute the equivalence relation of the value because monotone circuit can compute only monotone function. Therefore, I make the value constraint explicitly in the input and monotone circuit can compute equivalence relation. As a result, we can compute P-Complete problem with monotone circuit. We can reduce implicit value constraint to explicit with logarithm space. Therefore, monotone circuit is P-Complete. 2. Monotone circuit and Equivalence relation First, I show that a monotone circuit cannot compute equivalence relation. Decision problem that include P-Complete is mapping of {0, 1} * → {0, 1} and classify {0, 1} * to two sets. It is important to classify {0, 1} as the element of {0, 1} *. But monotone circuit cannot classify {0, 1}. Theorem 1. Monotone circuit cannot classify equivalence relation. Proof. I prove it using reduction to absurdity. We assume that monotone circuit can classify equivalence relation. From assumptions, this monotone circuit output same value when input value is (0, 0) , (1, 1). But monotonicity of monotone circuit 0 ∧ 0 = 0 ∨ 0 = 0,1 ∧ 1 = 1 ∨ 1 = 1 makes different output with inputs (0, 0) , (1, 1), and contradicts a condition to classify equivalence relation. Therefore, this theorem was shown than reduction to absurdity. The reason why a monotone circuit has such a limit is that monotone circuit do not have a Not gate. Monotone circuit cannot compute value exclusivity, therefore monotone circuit cannot classify equivalence relation. 3. Flatten problem Next, I show that how to compute equivalence relation with monotone circuit. To reduce implicit value constraint explicitly, we can compute equivalence relation with monotone circuit.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Circuit Complexity and Decompositions of Global Constraints

We show that tools from circuit complexity can be used to study decompositions of global constraints. In particular, we study decompositions of global constraints into conjunctive normal form with the property that unit propagation on the decomposition enforces the same level of consistency as a specialized propagation algorithm. We prove that a constraint propagator has a a polynomial size dec...

متن کامل

One-Input-Face MPCVP Is Hard for L, But in LogDCFL

A monotone planar circuit (MPC) is a Boolean circuit that can be embedded in a plane, and that has only AND and OR gates. Yang showed that the one-input-face monotone planar circuit value problem (MPCVP) is in NC, and Limaye et. al. improved the bound to LogCFL. Barrington et. al. showed that evaluating monotone upward stratified circuits, a restricted version of the oneinput-face MPCVP, is in ...

متن کامل

Linear Concurrent Constraint Programming over Reals

We introduce a constraint system LC that handles arithmetic constraints over reals within the linear concurrent constraint programming (lcc) framework. This approach provides us with a general, ex-tensible foundation for linear programming algorithm design that comes with a (linear) logical semantics. In particular, it allows us to build a `glass-box' version of the (constraint solver) simplex ...

متن کامل

An Eecient Parallel Algorithm for the General Planar Monotone Circuit Value Problem

A planar monotone circuit (PMC) is a Boolean circuit that can be embedded in the plane and that contains only AND and OR gates. Goldschlager, Cook & Dymond and others have developed NC 2 algorithms to evaluate a special layered form of a PMC. These algorithms require a large number of processors (((n 6), where n is the size of the input circuit). Yang, and more recently, Delcher & Kosaraju have...

متن کامل

On Monotone Planar Circuits

In this paper we show several results about monotone planar circuits. We show that monotone planar circuits of bounded width, with access to negated input variables, compute exactly the functions in non-uniform AC0. This provides a striking contrast to the non-planar case, where exactly NC1 is computed. We show that the circuit value problem for monotone planar circuits, with inputs on the oute...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1211.5773  شماره 

صفحات  -

تاریخ انتشار 2012